Progression of Decomposed Local-Effect Action Theories

First-Order Strong Progression for Local-Effect Basic Action Theories

In a seminal paper Lin and Reiter introduced the notion of progression for basic action theories in the situation calculus. The idea is to replace an initial database by a new set of sentences which reflect the changes due to an action. Unfortunately, progression requires secondorder logic in general. In this paper, we introduce the notion of strong progression, a slight variant of Lin and Reit...

Progression of Decomposed Situation Calculus Theories

In many tasks related to reasoning about consequences of a logical theory, it is desirable to decompose the theory into a number of components with weakly-related or independent signatures. This facilitates reasoning when the signature of a query formula belongs to only one of the components. However, an initial theory may be subject to change due to execution of actions affecting features ment...

Progression of Situation Calculus Action Theories with Incomplete Information

• Each table in the database has one column and stores the possible values for a ground fluent term. •Whenever there is complete knowledge about the term, the corresponding table has exactly one row. E.g., the ground fluent term door has only one possible value (Closed ) and so the table for door has exactly one row: Closed. •Whenever there is incomplete knowledge, the table has more than one r...

Local theories of inheritance

Inheritance networks are not expressive enough to capture all intuitions behind inheritance. Hence, a number of signiicantly diierent semantics have been proposed. Here, a family of local theories of inheritance is presented that are conceptually simple and computationally tractable. A general model-theoretic framework for specifying direct semantics to networks and clarifying relationships amo...

Central and Local Limit Theories in Markov Dependent Random Variables